Your search returned 2 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Acm Computing Surveys
Year : 1986Volume number : 18Issue:03
Formal Models Of Stepwise Refinements Of Programs(Article) Subject:
Function-Based Specifications
,
Assignment Rule
,
Assertion-Based Specifications
,
Alternation Rule
Author:
Ali
Mili
Jules
Desharnais
Jean Raymond
Gagne
page:
231
-
276
Elimination Algorithms For Data Flow Analysis(Article) Subject:
Data Flow Analysis
,
Elimination Algorithms
Author:
Marvin C.
Paull
Barbara G.
Ryder
page:
277
-
316